var a00881 =
[
    [ "CurrentTaskLock", "a00881.html#a8e46209cec406469685858ff0ac2bad5", null ],
    [ "DestroyTask", "a00881.html#ab1289f19db2055603d5d72ffb7dccc56", null ],
    [ "DirectedScheduleTask", "a00881.html#a282d32ed2a8d185b9af16311b5e464b9", null ],
    [ "InsertTask", "a00881.html#a9cbb6a67b65dbeac7e3d6e52482bd052", null ],
    [ "WakeWowTask", "a00881.html#a4265fddd1e842410a284d2f4376940f5", null ],
    [ "xxxDirectedYield", "a00881.html#a16f932bda409a22bfb319067daffc1a1", null ],
    [ "xxxSleepTask", "a00881.html#ae11878514dabd4ba1a2c58dd2bcf2d4d", null ],
    [ "xxxUserYield", "a00881.html#ac9a8269a485b30a2c5e5bce624f8430f", null ]
];